Honest Ideals on Strand Spaces
نویسندگان
چکیده
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. We introduce the notion of an ideal—a set of messages closed under encryption and invariant under composition with arbitrary messages—to express such principles. In conjunction with the strand space formalism, we use the concept of ideals to prove bounds on a penetrator’s capabilities, independent of the security protocol being analyzed. From this we prove a number of correctness properties of the Otway Rees protocol, using these results to explain the limitations of the protocol.
منابع مشابه
Equal To The Task?
Many methods of analysing security protocols have been proposed, but most such methods rely on analysing a protocol running only a finite network. Some, however—notably, data independence, the strand spaces model, and the rank functions model—can be used to prove correctness of a protocol running on an unbounded network. Roscoe and Broadfoot in [17] show how data independence techniques may be ...
متن کاملOn the reducible $M$-ideals in Banach spaces
The object of the investigation is to study reducible $M$-ideals in Banach spaces. It is shown that if the number of $M$-ideals in a Banach space $X$ is $n(<infty)$, then the number of reducible $M$-ideals does not exceed of $frac{(n-2)(n-3)}{2}$. Moreover, given a compact metric space $X$, we obtain a general form of a reducible $M$-ideal in the space $C(X)$ of continuous functions on $X$. The...
متن کاملThe lattice of closed ideals in the Banach algebra of operators on certain Banach spaces
Very few Banach spaces E are known for which the lattice of closed ideals in the Banach algebra B(E) of all (bounded, linear) operators on E is fully understood. Indeed, up to now the only such Banach spaces are, up to isomorphism, Hilbert spaces and the sequence spaces c0 and `p for 1 6 p < ∞. We add a new member to this family by showing that there are exactly four closed ideals in B(E) for t...
متن کاملFuzzy convergence structures in the framework of L-convex spaces
In this paper, fuzzy convergence theory in the framework of $L$-convex spaces is introduced. Firstly, the concept of $L$-convex remote-neighborhood spaces is introduced and it is shown that the resulting category is isomorphic to that of $L$-convex spaces. Secondly, by means of $L$-convex ideals, the notion of $L$-convergence spaces is introduced and it is proved that the category of $L$-con...
متن کامل$z^circ$-filters and related ideals in $C(X)$
In this article we introduce the concept of $z^circ$-filter on a topological space $X$. We study and investigate the behavior of $z^circ$-filters and compare them with corresponding ideals, namely, $z^circ$-ideals of $C(X)$, the ring of real-valued continuous functions on a completely regular Hausdorff space $X$. It is observed that $X$ is a compact space if and only if every $z^circ$-filter ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998